- порождающая переменная
- generic variable
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
Move α — Генеративная лингвистика … Википедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… … Математическая энциклопедия
ОПРЕДЕЛЕНИЕ, — ОПРЕДЕЛЕНИЕ, дефиниция (от лат. «definitio» – «предел», «граница») – логическая процедура придания строго фиксированного смысла терминам языка. Т.к. значения терминов зависят от их смыслов, то всякий раз, придавая через определение какой либо… … Философская энциклопедия